12.87/13.94	unsat
