100.10/101.40	unsat
