7.19/12.94	unsat
