13.57/16.94	unsat
