13.96/16.24	unsat
