12.87/13.66	unsat
