15.96/18.56	unsat
