12.78/15.24	unsat
