12.05/13.43	unsat
