12.77/17.31	unsat
