10.87/12.19	unsat
